-
1 backward chaining
обратная цепочка рассуждений, цепочка обратного [логического] выводаодин из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов.Ant:см. тж. expert systemАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > backward chaining
-
2 backward chaining
обратная цепочка рассуждений; обратное построение цепочки; обратный логический вывод -
3 backward chaining
1) Общая лексика: использование обратной цепочки умозаключений (один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямо)2) Компьютерная техника: вывод от цели к фактам, обратный логический вывод, обратный поиск4) Вычислительная техника: обратная цепочка рассуждений, обратное построение цепочки (напр. рассуждений от целевой гипотезы к исходным посылкам), обратный вывод (в экспертных системах), обратный (логический) вывод (в экспертных системах)5) Программирование: цепочка обратного [логического] вывода, использование метода "от цели к событиям"6) Автоматика: обратная цепочка умозаключений, обратное ( логическое) умозаключение (в экспертной системе) -
4 chaînage arrière
См. также в других словарях:
Парадокс близнецов — Парадокс близнецов мысленный эксперимент, при помощи которого пытаются «доказать» противоречивость специальной теории относительности. Согласно СТО, с точки зрения «неподвижных» наблюдателей все процессы у двигающихся объектов замедляются.… … Википедия